PEAC: Ein partieller Evaluator für eingebettete Software
نویسندگان
چکیده
منابع مشابه
Formale Semantik modularer Zeitverfeinerung in AutoFocus
Moderne automobile eingebettete Systeme bilden hochkomplexe verteilte Steuergerätenetzwerke. Modellbasierte Entwicklung ist ein verbreiteter Ansatz, um dieser Komplexität zu begegnen. AUTOFOCUS ist ein CASE-Werkzeugprototyp zur formal fundierten modellbasierten Entwicklung eingebetteter Systeme. Ein Modell wird hierarchisch aus Komponenten aufgebaut, die über getypte Kanäle kommunizieren. AUTOF...
متن کاملSoftware Qualitätssicherung für Geschäftsprozesse mit eingebetteten Systemen
Für die Qualitätssicherung eines Geschäftsprozesses, ist es unerlässlich, die Geschäftprozesskette ganzheitlich zu betrachten. Das schließt die Betrachtung jeder einzelnen funktionalen Komponente ein. Dies ist besonders bei Geschäftsprozessen schwierig, die eingebettete Systeme involvieren. Deren Software-Komponenten sind nur schwer zugänglich. Die Software-Komponenten in den eingebetteten Syst...
متن کاملEntwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik
Beim Entwurf von Hardund Software für eingebettete Systeme, die z.B. zur Steuerung mehrachsiger Präzisionsantriebe verwendet werden sollen, ist neben harten Echtzeitforderungen auch die Koexistenz unterschiedlicher Beschreibungsparadigmen und die Notwendigkeit formaler Exaktheit zu beachten. Das erfordert den Einsatz spezieller Beschreibungsmittel im modellbasierten Entwurf. Ein Beispiel sind M...
متن کاملVergleich von klassischer und agiler Entwicklungsmethodik anhand der Entwicklung eines in Statemate simulierbaren Modells eines Türsteuergeräts
Agile Methoden spielen eine immer größere Rolle in den verschiedensten Projekten. Sie stehen für eine flexible und kundennahe Systementwicklung und versprechen ein vergleichbar hohes Maß an Qualität. Das im folgenden beschriebene Experiment, das als Praktikum an der Universität Ulm im Sommersemester 2003 durchgeführt wurde, möchte Hinweise dahingehend bekommen, ob ein frühzeitiger Einsatz von a...
متن کاملRäumlich verteilte Software-Entwicklung unter experimenteller Betrachtung verteilter
Im Rahmen einer bereits langjährig bestehenden Kooperation zwischen dem DaimlerChrysler Forschungszentrum Ulm und der Universität Ulm wird in jedem Semester interessierten Studierenden des Informatik-Hauptstudiums ein Praktikum zum Thema “Experimentelles Software Engineering für eingebettete Systeme” angeboten. Gestaltet wird dieses von einem Mitarbeiter des DaimlerChrysler Forschungszentrums u...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- Softwaretechnik-Trends
دوره 25 شماره
صفحات -
تاریخ انتشار 2005